Ochremiak, Joanna: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Proof Complexity Meets Algebra

Atserias, Albert, Ochremiak, Joanna

Journal:

ACM Transactions on Computational Logic

Year:

2018

Language:

english

File:

PDF, 639 KB

english, 2018

2

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Turing machines with atoms, constraint satisfaction problems, and descriptive complexity

Klin, Bartek, Lasota, Sławomir, Ochremiak, Joanna, Toruńczyk, Szymon

Year:

2014

Language:

english

File:

PDF, 4.66 MB

english, 2014

3

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Locally Finite Constraint Satisfaction Problems

Klin, Bartek, Kopczynski, Eryk, Ochremiak, Joanna, Torunczyk, Szymon

Year:

2015

Language:

english

File:

PDF, 284 KB

english, 2015

4

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem

Atserias, Albert, Ochremiak, Joanna

Year:

2018

Language:

english

File:

PDF, 704 KB

english, 2018

5

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - On the Power of Symmetric Linear Programs

Atserias, Albert, Dawar, Anuj, Ochremiak, Joanna

Year:

2019

Language:

english

File:

PDF, 324 KB

english, 2019